Extended Checker for FindBugs
نویسنده
چکیده
FindBugs is a static analysis tool that examines your class or JAR files looking for potential problems by matching your bytecodes against a list of bug patterns. Although it has displayed valuable efficiency in bug checking, yet it has not provided enough support for the programs using JUnit. This paper tries to fix this problem by extending FindBugs with specific bug pattern detectors to find bugs relating to the JUnit applications. After that, an evaluation is provided for those detectors and related work is explored.
منابع مشابه
Study on the relevance of the warnings reported by Java bug-finding tools
Several bug-finding tools have been proposed to detect software defects by means of static analysis techniques. However, there is still no consensus on the effective role that such tools should play in software development. Particularly, there is still no concluding answer to the following question usually formulated by software developers and software quality managers: how relevant are the war...
متن کاملImplementation of Customized FindBugs Detectors
There are a lot of static code analysis tools to automatically find program errors. Traditional techniques usually involve formal methods and complicated computations, and thus suffer from poor extendibility and performance. FindBugs was developed to address these issues. The system is based on the concept of bug patterns, which are claimed to be easy to implement and effective to discover real...
متن کاملA framework for the static verification of api calls
A number of tools can statically check program code to identify commonly encountered bug patterns. At the same time, programs are increasingly relying on external APIs for performing the bulk of their work: the bug-prone program logic is being fleshed-out, and many errors involve tricky subroutine calls to the constantly growing set of external libraries. Extending the static analysis tools to ...
متن کاملExamining the Relationship between FindBugs Warnings and End User Ratings: A Case Study On 10,000 Android Apps
In the mobile app ecosystem, end user ratings of apps (a measure of end user perception) are extremely important to study as they are highly correlated with downloads and hence revenues. In this study we examine the relationship between the app ratings (and associated review-comments) from end users with the static analysis warnings (collected using FindBugs) from 10,000 free-todownload Android...
متن کاملReify Your Collection Queries for Modularity and Speed! Extended Version
Modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating on collections. Performance-critical code using collections need often to be hand-optimized, leading to nonmodular, brittle, and redundant code. In principle, this dilemma could be avoided by automatic collection-speci...
متن کامل